This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, ...
Lee masThis book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, ...
Lee masThis book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing ...
Lee masCovers the techniques of parallel programming in a practical manner that enables students to write and evaluate their parallel ...
Lee masThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lee masThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lee masThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lee masThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lee masThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lee masThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lee masThis book constitutes revised and selected papers from the 6th International Symposium on Security and Privacy in Social ...
Lee masThis book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Lee masThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Lee masThis book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
Lee masThis book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Lee masThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Lee masThis book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Lee masThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee masThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lee masThis book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Lee mas